"Jin Song Dong" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, ... Programming and Software Engineering)

Jin Song Dong, Huibiao Zhu

9.26 Mb

#2

Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings

Jin Song Dong; Huibiao Zhu

Категория: Cs_Computer science, CsLn_Lecture notes

9.32 Mb

#3

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Jin Song Dong, Jim Woodcock

5.79 Mb